Negations and Meets in Topos Quantum Theory
نویسندگان
چکیده
The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into Heyting algebra topos theory. While distributivity does not always hold lattices, it algebras. We investigate the conditions under which negations and meets are preserved by daseinisation, condition that any element transformed through corresponds to original lattice. show these equivalent, that, only case of non-distributive lattices but also Boolean algebras containing more than four elements, will contain correspond
منابع مشابه
Topos theory and ‘neo-realist’ quantum theory
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves as a ‘mathematical universe’ with an internal logic, which is used to assign truth-values to all propositions about a physical system. We show in detail how ...
متن کاملA topos for algebraic quantum theory
ing frames O (X ) coming from a topological space to general frames is a genuine generalization of the concept of a space, as plenty of frames exist tha t are not of the form O (X ). A simple example is the frame Oreg(R) of regular open subsets of R, i.e. of open subsets U with the property ——U = U, where —U is the interior of the complement of U . This may be contrasted with the situation for ...
متن کاملTopos-Theoretic Approaches to Quantum Theory
Starting from a naive investigation into the nature of experiments on a physical system one can argue that states of the system should pair nondegenerately with physical observables. This duality is closely related to that between space and quantity, or, geometry and algebra. In particular, it is grounded in the mathematical framework of both classical and quantum mechanics in the form of a pai...
متن کاملSome Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity
We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Section 1, we introduce these problems. In Section 2, we introduce topos theory, especially the idea of a topos of presheaves. In Section 3, we discuss several possible applications of topos theory to the problems in Section 1. In Section 4...
متن کاملApplications of geometric logic to topos approaches to quantum theory
This document describes my 3-year project “Applications of geometric logic to topos approaches to quantum theory”, to start in 2009 with funding from the UK Engineering and Physical Sciences Research Council (EPSRC) for a post-doctoral Research Assistant and a PhD studentship. After an overview of the background and programme of work, it leads on to a description of the high-grade postdoctoral ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Physics
سال: 2021
ISSN: ['1572-9516', '0015-9018']
DOI: https://doi.org/10.1007/s10701-021-00529-7